Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
711	Homework 1 Due 7 October For this homework, we will introduce two new kinds of propositions. The first kind is a propositional variable, which we will represent with τ (or if we need more than one, τ0 , τ1 , τ2 , etc Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-10-01 02:20:30
712	JDK 8: Lambda Performance study Sergey Kuksenko [removed], @kuksenk0 The following is intended to outline our general Add to Reading List Source URL: www.oracle.com Language: English Subroutines Lambda Xubuntu Lambda calculus
713	Call Arity Joachim Breitner Karlsruhe Institute of Technology [removed] Abstract Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Higher-order functions Universal algebra Recursion Lambda calculus Computability theory Fold Combinatory logic Map Arity Mathematics Mathematical logic Theoretical computer science
714	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
715	N2927=[removed]15 Daveed Vandevoorde ([removed]) New wording for C++0x Lambdas (rev. 2) Introduction Add to Reading List Source URL: www.open-std.org Language: English - Date: 2009-07-16 20:47:54 C++ Subroutines C++11 Closure C++ classes Lambda calculus Function object Parameter Sizeof Software engineering Computing Computer programming
716	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-24 19:22:11 Functional languages Procedural programming languages Data types Computability theory Theoretical computer science Lambda calculus Recursion Lisp Map Software engineering Computing Computer programming
717	Joint 25th RTA & 12th TLCA: CALL FOR PAPERS Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS July 14–17, 2014, Vien Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2014-07-30 07:52:05 Logic in computer science Type theory Proof theory Lambda calculus Formal methods International Conference on Rewriting Techniques and Applications Denotational semantics Federated Logic Conference Automated theorem proving Theoretical computer science Mathematics Applied mathematics
718	Homework 1 Due 7 October For this homework, we will introduce two new kinds of propositions. The first kind is a propositional variable, which we will represent with τ (or if we need more than one, τ0 , τ1 , τ2 , etc Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-10-01 02:20:34
719	Exploring the Type Inference Approach to Deforestation Marie-Christine (Kirsten) Chevalier Submitted in Partial Fulfillment of the Prerequisite for Honors in Computer Science Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:37:57 Higher-order functions Subroutines Functional programming Lambda calculus Type theory Fold Map Function Currying Software engineering Declarative programming Computing
720	Submitted to ICFP ’15 Formally Proving a Compiler Transformation Safe Joachim Breitner Karlsruhe Institute of Technology [removed] Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2015-02-26 07:31:06 Algebraic geometry Field theory Valuation Quasigroup Lambda calculus Abstract algebra Mathematics Algebra

UPDATE